/// function declaration
int testFunc(int a, int b)
{
    switch (a)
    {
    case 0:
        {
        a = a + b;
        if( a > b) {
            a = a - b;
        }
        }
        break;
    case 1:
        a = a -b;
        break;
    case 2:
        a = b - a;
    default:
        break;
    }
    
    
    if (a > b) {
        /// #@ "a > b"
        return a - b;
    } else {
        /// #@ "a <= b"
        return b - a;
    }

    if (a > b) {
        /// #@ "a > b"
        return a - b;
    } else {
        /* #@ "a <= b" */
        return b - a;
    }

    for(int i = 0; i < a; i++) {
        
        /*
         #@ "do for action"
         */
        a += b + i; 
    }
}